منابع مشابه
HOL-Z 2.0: A Proof Environment for Z-Specifications
The design of tools for formal specification languages (SL) can be roughly divided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an implementation language. In contrast, embedded designs are based on a logical embedding in theorem prover environments such as Isabelle. Examples for the former are Z/EVES, KIV or FDR, examples for t...
متن کاملMolecular driving forces defining lipid positions around aquaporin-0.
Lipid-protein interactions play pivotal roles in biological membranes. Electron crystallographic studies of the lens-specific water channel aquaporin-0 (AQP0) revealed atomistic views of such interactions, by providing high-resolution structures of annular lipids surrounding AQP0. It remained unclear, however, whether these lipid structures are representative of the positions of unconstrained l...
متن کاملSVG Web Environment for Z Specification Language
This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension faci...
متن کاملOOZE : an Object-Oriented Z Environment
OOZE, which stands for “Object Oriented Z Environment,” is a generalized wide spectrum object oriented language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic,...
متن کاملArchitecture and Selectivity in Aquaporins: 2.5 Å X-Ray Structure of Aquaporin Z
Aquaporins are a family of water and small molecule channels found in organisms ranging from bacteria to animals. One of these channels, the E. coli protein aquaporin Z (AqpZ), has been shown to selectively conduct only water at high rates. We have expressed, purified, crystallized, and solved the X-ray structure of AqpZ. The 2.5 A resolution structure of AqpZ suggests aquaporin selectivity res...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Biophysical Journal
سال: 2016
ISSN: 0006-3495
DOI: 10.1016/j.bpj.2015.11.1389